Apostoli and Brown have shown that the class of formulae valid with respect to the class of -ary relational frames is completely axiomatized by Kn: an n-place aggregative system which adjoins [RM], [RN], and a complete axiomatization of propositional logic, with [Kn]:□α1 ∧...∧□αn+1 → □2/ is the disjunction of all pairwise conjunctions αi∧αj )).Their proof exploits the chromatic indices of n-uncolourable hypergraphs, or n-traces. Here, we use the notion of the χ-product of a family of sets to formulate an alternative (...) definition of an n-trace, which in turn enables a new and simpler completeness proof. (shrink)

R.I.G. Hughes presents a series of eight philosophical essays on the theoretical practices of physics. The first two essays examine these practices as they appear in physicists' treatises (e.g. Newton's Principia and Opticks ) and journal articles (by Einstein, Bohm and Pines, Aharonov and Bohm). By treating these publications as texts, Hughes casts the philosopher of science in the role of critic. This premise guides the following 6 essays which deal with various concerns of philosophy of physics such as laws, (...) disunities, models and representation, computer simulation, explanation, and the discourse of physics. (shrink)

Emil Fackenheim, now retired from the University of Toronto, is one of Canada's most influential and internationally recognized philosophers. Bringing together philosophy and Jewish studies, his writings are relevant to a number of philosophical inquiries, including the philosophy of history, metaphysics, and the philosophy of religion. In this book an international group of publishers presents an overview of Fackenheim's thought. The volume includes an introduction, ten papers, and response from Fackenheim himself. Among the topics discussed are the influence of Hegel (...) and German philosophy on Fackenheim, the elements that make up his own philosophy, and his views on Judaism, the Holocaust, and Christianity. (shrink)

Clark & Thornton take issue with my claim that parity is not a generalisation problem, and that nothing can be inferred about back-propagation in particular, or learning in general, from failures of parity generalisation. They advance arguments to support their contention that generalisation is a relevant issue. In this continuing commentary, I examine generalisation more closely in order to refute these arguments. Different learning algorithms will have different patterns of failure: back-propagation has no special status in this respect. This is (...) not to deny that a particular algorithm might fortuitously happen to produce the “intended” function in an parity-generalisation task. (shrink)

John Searle attempts to show through a consideration of promising that at least some ‘ought’ statements can be derived from ‘is’ statements. He thinks that you can determine on purely factual grounds that a person has made a promise, and that it follows logically from the statement that a person has made a promise that he has at least a prima facie obligation to do the thing he promised to do. I agree with but not with.

The present stage of development of the philosophy of language is marked by the joining of efforts of philosophers, logicians, and linguists for solution of one of the most difficult problems posed by the progress of scientific knowledge - the problem of modeling the aspect of meaning, of semantics, of natural language. The solution of this problem governs not only the building of a general theory of language, not only scientific explanation of the phenomenon of the understanding of language and (...) solution of numerous problems of practical importance with respect to automatic language processing, but also the defining of the place and function of language in the process of cognition and understanding of the world, a matter that is fundamental to methodology. (shrink)

I try to show that there is much sap (synthetic a priori) knowledge although one may not find many, or even any, sap true statements in most natural languages. Reasons are given for the difficulty of expressing sap truths in natural languages, but it is argued that these are not necessary features of language as such. There are, then, sap true statements in some possible languages.Admission of the sap gives one a way of distinguishing logical from metaphysical possiblity. Something is (...) metaphysically impossible just in case it is a sap truth that it is impossible. I argue that the realm of logically possible entities is vastly larger than the realm of metaphysically possible entities.My.defence of the sap begins with a partial defence of the analytic/synthetic distinction. In particular, I attack the intentionality circle argument,Quine's indeterminacy thesis and some applications of the Kripke/Putnam theory of meaning for natural kind terms. Without being a conclusive defence of the analytic/synthetic distinction, this section makes the defence of the sap more secure. Arguments are then mounted in direct defence of the sap by showing that the purported reduction of sap truths to analytic truths is mistaken. Examples are adduced to show that, even where expressions of natural language fail, one can stipulate usage in ways that allow expression of sap truths. I then consider and reply to various objections, giving an example of the sort of meaning theory which illegitimately legislates the analyticity of any purported sap true statement. (shrink)

Open peer commentary on the target article “How and Why the Brain Lays the Foundations for a Conscious Self” by Martin V. Butz. Excerpt: Surprisingly, the paper entirely neglects the issue of the dynamic properties of our environment. Focusing on (static, inanimate) objects only, it fails to acknowledge that anticipation becomes especially relevant when things around us change without being under our control: this is when we are forced to adapt quickly to new circumstances. To estimate as precisely as necessary (...) what will when be where is of vital meaning. Surprisingly though, this issue is not addressed at all. Although it is acknowledged that the environment contains dynamics that are to be predicted somehow (§3) and that have to be represented in the brain somehow (§28), concepts about and empirical data on the prediction of external events are not dealt with further. (shrink)

In 1962 appeared one of the classic articles in Anglo-Saxon manuscript studies, the publication of two eleventh-century fragments of leaves of Old English found in the binding of a seventeenth-century printed book in the library of the University of Kansas, Lawrence. The fragment that more nearly concerns the present article now carries the shelf mark Pryce MS C2:1 in the Kenneth Spencer Research Library . It is a large part of a single leaf from The Legend of the Holy Cross (...) before Christ, an edifying work known in full only in a twelfth-century copy, Oxford, Bodleian Library, MS Bodley 343, fols. 14v–20v . Working from a photograph the great paleographer and codicologist N. R. Ker attributed the hand of the Kansas fragment to the scribe who also wrote the texts of two bits of the same work found in the library of Matthew Parker, archbishop of Canterbury , at Corpus Christi College, Cambridge, now MS 557 . He concluded, no doubt rightly, that all three are part of one manuscript. (shrink)

In my target article, I argued (1) that the relationship between neocortical size and group size in primates implies that there is a cognitive limit on the size of human groups, and (2) that time constraints forced the evolution of language as a more efficient means of bonding the large groups that humans evolved. The doubts about these claims raised by these additional commentaries largely reflect misinterpretation of my original claims.

Striedter's account of human brain evolution fails on two key counts. First, he confuses developmental constraints with selection explanations in the initial jump in hominid brain size around two MYA. Second, he misunderstands the Machiavellian Intelligence explanation.

During the second half of the XX century drug addiction ceased to be only the epiphenomenon of crime, prostitution and a number of other social-relations deviation, and became a constant value of post-industrial society and at the end of XX century turned into a global problem of mankind. A new form of mass neurosis shows that drug dependence is nowadays socially conditioned mental degeneration, caused by activation of unconscious collective archetypes that are experienced depending on the corresponding situation. The identification (...) of the sacred plant soma/haoma with the marihuana enables us to not only to make clear the light and the dark sides of this archetype, but also to figure out that the reduction of the drug addiction problem, to the acceptable for the society level, is possible only if a man will be able to satisfy his “life-asserting, vital needs”, if he will be able to regain the true meaning of life. (shrink)

R.I.G Hughes offers the first detailed and accessible analysis of the Hilbert-space models used in quantum theory and explains why they are so successful.

I shall argue here that the reason supererogatory acts are not obligatory is that they require too much personal sacrifice, and that in order for an act to be supererogatory, it must have a kind of result that you would have an obligation to bring about if you could do so with no personal sacrifice. I further argue that traditional utilitarianism should be modified so as not to treat supererogatory acts as obligatory.

International relations has long been well known as a subject for research in the disciplines of history, economics, and law. However, little study of it has been done by experts in such extremely important fields of the social sciences as historical materialism and scientific communism. Examination of international relations from the standpoint of general theory as social relations and the methodology of such research are represented in the Marxist literature primarily in the works of Marx, Engels, and Lenin.

Group size is a function of relative neocortical volume in nonhuman primates. Extrapolation from this regression equation yields a predicted group size for modern humans very similar to that of certain hunter-gatherer and traditional horticulturalist societies. Groups of similar size are also found in other large-scale forms of contemporary and historical society. Among primates, the cohesion of groups is maintained by social grooming; the time devoted to social grooming is linearly related to group size among the Old World monkeys and (...) apes. To maintain the stability of the large groups characteristic of humans by grooming alone would place intolerable demands on time budgets. It is suggested that (1) the evolution of large groups in the human lineage depended on the development of a more efficient method for time-sharing the processes of social bonding and that (2) language uniquely fulfills this requirement. Data on the size of conversational and other small interacting groups of humans are in line with the predictions for the relative efficiency of conversation compared to grooming as a bonding process. Analysis of a sample of human conversations shows that about 60% of time is spent gossiping about relationships and personal experiences. It is suggested that language evolved to allow individuals to learn about the behavioural characteristics of other group members more rapidly than is possible by direct observation alone. (shrink)